kw.\*:("low-level programming languages")
Results 1 to 2 of 2
Selection :
Using Pit to improve security in low-level programsPEDERSEN, Leif; REZA, Hassan.Journal of supercomputing. 2010, Vol 53, Num 3, pp 394-410, issn 0920-8542, 17 p.Article
Mostly-Automated Verification of Low-Level Programs in Computational Separation LogicCHLIPALA, Adam.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 234-245, issn 1523-2867, 12 p.Conference Paper